Private Online Communication; Highlights in Systems Verification
نویسندگان
چکیده
منابع مشابه
On Differentially Private Online Collaborative Recommendation Systems
In collaborative recommendation systems, privacy may be compromised, as users’ opinions are used to generate recommendations for others. In this paper, we consider an online collaborative recommendation system, and we measure users’ privacy in terms of the standard differential privacy. We give the first quantitative analysis of the trade-offs between recommendation quality and users’ privacy i...
متن کاملVerification of Probabilistic Systems with Faulty Communication
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behavior of such protocols, Lossy Channel Systems (LCS’s) have been proposed. In an LCS the communication channels are modeled as unbounded FIFO buffers which are unreliable in the sense that they can nondeterministically lose messages. Recently, several attempts...
متن کاملPrivate Personal Information Verification
Physical document verification is a necessary task in the process of reviewing applications for a variety of services, such as loans, insurance, and mortgages. This process consumes a large amount of time, money, and human resources, which leads to limited business throughput. Furthermore, physical document verification poses a critical risk to clients’ personal information, as they are require...
متن کاملPrivate Communication
The research work presented in this dissertation deals with the application of modulation and digital signal processing techniques in the field of optical communications. It focuses on the design of a 40Gb/s short-reach optical transmission system. For a given optical wavelength, capacity increase is generally achieved by pushing technological limits in order to augment the serial line rate of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Queue
سال: 2017
ISSN: 1542-7730,1542-7749
DOI: 10.1145/3134434.3149411